semmle-extractor-options: ${testdir}/../../../../resources/stubs/System.Net.cs
